Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
71	Lectures on Zariski-type structures Part I Boris Zilber 1 Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2005-04-13 15:23:37 Algebra Abstract algebra Mathematics Algebraic geometry Zariski geometry Algebraic variety Sheaf Irreducible component Ample line bundle Valuation Type Krull dimension
72	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:57:32 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB
73	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:17 Software engineering Computer programming Computing Abstract data types Object-oriented programming languages Data types Smalltalk Foreach loop Set VisualWorks Objective-C Array data type
74	Multipliers on rigid C ∗-tensor categories and Howe–Moore type theorems Jonas Wahl (joint with Y. Arano and T. de Laat) KU Leuven Greifswald, July 14, 2016 Add to Reading List Source URL: www.wiko-greifswald.de Language: English - Date: 2016-07-19 06:41:36 Algebra Abstract algebra Mathematics Monoidal categories Quantum group TannakaKrein duality Tensor Von Neumann algebra Representation theory Generalised Whitehead product
75	What Is a Collection? • A collection (sometimes called a container) is simply an object that groups multiple elements into a single unit • Collections typically represent data items that form a natural group, like a Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2008-04-10 11:29:23 Software engineering Computer programming Computing Abstract data types Java Data types Iterator Object C++ Standard Library Java collections framework Boolean data type Sequence container
76	Mineral resources English version – SOSI standard 4.0 Mineral resources English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2015-07-22 04:38:35 Mathematics Algebra Abstract algebra Universal identifiers Complex analysis Pi Integer Number Numeral system Data type 0.999... METAR
77	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview Catalogs, inventories, dictionaries, lists of popup menu commands, items in a Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Computing Abstract data types Object-oriented programming languages Data types Smalltalk Foreach loop Set VisualWorks Objective-C Array data type
78	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
79	Wang Tiles May 2, 2006 Abstract Suppose we want to cover the plane with decorated square tiles of the same size. Tiles are to be chosen from a finite number of types. There are unbounded tiles of each type available. Due Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:37:17 Aperiodic tilings Geometry Mathematics Mosaic Visual arts Tessellation Theory of computation Wang tile Tile Penrose tiling Aperiodic set of prototiles
80	Proof Assistants and the Dynamic Nature of Formal Theories Robert L. Constable Cornell University Abstract Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2012-06-04 13:35:50 Mathematical logic Logic Automated theorem proving Proof assistants Theoretical computer science Logic in computer science Abstraction Nuprl Constructivism Type theory Mathematical proof Robert Lee Constable

UPDATE